defaults相关论文
Brewka 为缺省逻辑的框架被扩大以便当由盒子推理时，这个新框架具有更强大的善於表达。在这个扩大框架下面，一个缺省理论的延期的描......
叙述了热挤压工模具的真空热处理缺陷，通过改进措施，提高了工模具质量，降低了生产成本。......
当前我国的法治状态不尽如人意，在相当范围内还存在无法可依、有法不依、法理不畅以及司法不独立和不公正等现象，这些现象的存在，严重......
对０１０５－Ｗ１Ｔ发电机组调节系统存在的一些缺陷，如机组经不起甩负载，机组存在异常的吼叫声，机组二次油压不稳、负荷波动等进行分析，采取措施予以解......
2001年在对克拉玛依油田高压蒸汽管线进行检验中发现许多严重超标缺陷．针对所发现的缺陷进行分析研究，指出缺陷形成的原因，提出今后在......
论述了地下连续墙的概念，分析了二墙合一的地下连续墙的缺陷，详细地阐述了堵漏的步骤和方式，提出了具体的缺陷修补措施，对工程上常用的......
探讨胶片处于复斜后片及其在三维评片仪上测片时建立数学模型的方法。测试结果表明，该方法可以满足工业探伤“三定”分析的要求。......
